#include <assert.h>
#include <stdio.h>
#include "PQ.h"


int main(int argc, char **argv) {
    int maxN = 7;
    PQinit(maxN);
    assert(PQempty() != 0);
    PQinsert('B');
    PQinsert('E');
    assert(PQdelmax() == 'E');
    PQinsert('S');
    PQinsert('T');
    PQinsert('I');
    assert(PQdelmax() == 'T');
    PQinsert('N');
    assert(PQdelmax() == 'S');
    PQinsert('F');
    PQinsert('I');
    PQinsert('R');
    assert(PQdelmax() == 'R');
    PQinsert('S');
    PQinsert('T');
    assert(PQdelmax() == 'T');
    assert(PQdelmax() == 'S');
    PQinsert('O');
    PQinsert('U');
    assert(PQdelmax() == 'U');
    PQinsert('T');
    assert(PQdelmax() == 'T');
    assert(PQdelmax() == 'O');
    assert(PQdelmax() == 'N');
    assert(PQdelmax() == 'I');
    assert(PQdelmax() == 'I');
    assert(PQdelmax() == 'F');
    assert(PQdelmax() == 'B');
    return 0;
}